Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

空-空导弹全向攻击随机最优制导律

本文从全向攻击的基本思想出发,用最优控制理论和卡尔曼滤波理论推导出能使空-空导弹进行全向攻击的随机最优制导律。该制导律包含目标加速度反馈,能对付机动目标;当目标作非机动飞行时,最优制导律是变比例系数的比例制导。计算机仿真结果表明:最优制导需用过载、终端脱靶量均小于比例制导,特别是当导弹从目标前方攻击时,其制导精度大大优于比例制导。     

末制导中的全向攻击原理

本文提出一种能够实现导弹对活动目标全方位攻击的基本原理,并讨论了工程上实现的途径。通过平面及空间导引弹道仿真,初步证明了它的正确性及可实现性。     

板料成形的数值分析及程序系统

本文讨论了板料成形的数值分析方法,并介绍一个能在微机上运行的程序系统——CASF(Computer Aided Sheetmetal Forming)01系统。 CASF01系统采用参数三次样条描述板金零件的几何外形,按弹-塑性流动理论用完全拉格朗日有限元法计算成形过程中的应力应变分布。由于参数样条的插值性和分段描述特点与有限元法的结构离散在基本思想和处理方法上的相似性,系统内曲面描述和力学分析程序间数据传递迅速方便。圆板胀形及其汽车零件的计算实例表明了CASF01系统的可靠性和实用性。     

远程导引可行飞行方案寻求算法研究

提出了一种寻求远程导引可行飞行方案的算法，能够满足远程导引对测控、日照、燃料和时间等各方面的要求；重点论述了Lambert一次变轨方案，给出了算法的具体步骤和主要模块的实现方法；最后给出了一个算例，说明算法是切实可行的。     

钛合金板材激光弯曲成形的研究

 对常温下钛合金板材进行了激光弯曲成形研究。分析了激光功率、扫描速度、光斑大小对板材弯曲变形的影响,获得理想工艺参数范围为:功率1 .0～1 .2 k W、扫描速度2～3 m/min、光斑直径6～7mm。同时分析了板材厚度、宽度及扫描次数对材料弯曲变形的影响,为钛合金板材弯曲成形提供了一种新途径。     

用SOCKET实现大气污染监测数据的网络通信

用Socket接口实现大气污染在线监测的数据网络通讯，又实时监测某地区的大气污染物排放情况，从而达到在异地对现场的大气污染进行远程监控的目的。     

基于MATLAB/Simulink的某型号巡航式靶弹弹道设计与仿真

通过某型号巡航式靶弹的弹道设计与仿真 ,着重说明利用MATLAB/Simulink仿真弹道的方法 ,并给出了相应的仿真结果。     

混杂难熔金属C/C复合材料中金属与碳反应初步研究

研究了碳纤维难熔金属纤维混杂增强碳基体复合材料中难熔金属与碳之间的化学反应.结果表明,条件不同,难熔金属W丝、Ta丝与不同形式碳的反应程度、反应产物及结构有很大的区别.低温区,难熔金属与碳不发生明显化学反应,中温区W丝可与气态的碳氢气体发生轻微化学反应,高温区W丝、Ta丝可与固态沥青碳以及碳纤维发生反应.通过控制反应条件,可以得到难熔金属纤维碳纤维混杂增强碳基体、含难熔金属碳化物的难熔金属纤维碳纤维混杂增强碳基体和难熔金属碳化物纤维碳纤维混杂增强碳基体复合材料.     

热暴露对B/Al复合材料性能的影响

对经300℃、500℃高温热暴露的B／Al（LF6）复合材料的力学性能进行了研究，实验结果表明材料在300℃下热暴露时，性能下降速度较慢，100h后强度保留率约为76％，延伸率保留率为74％。而在500℃下热暴露时，5h以上强度就有明显降低。高温长时间热暴露后复合材料的断裂也从积累型转变为典型的非累积型断裂。通过透射电镜（TEM）及扫描电镜（SEM）对固态热压制造态和主温热暴露的界面状况进行了分析，认为界面反应是造成B／Al复合材料力学性能下降的主要原因。